#! /bin/bash
echo "Reasoning over TPTP FOF sentences"
vkernel <($1)